JIGSAW: Efficient and Scalable Path Constraints Fuzzing

Coverage-guided testing has shown to be an effective way to find bugs. If we model coverage-guided testing as a search problem (i.e., finding inputs that can cover more branches), then its efficiency mainly depends on two factors: (1) the accuracy of the searching algorithm and (2) the number of inputs that can be evaluated per unit time. Therefore, improving the search throughput has shown to be an effective way to improve the performance of coverage-guided testing.In this work, we present a novel design to improve the search throughput: by evaluating newly generated inputs with JIT-compiled path constraints. This approach allows us to significantly improve the single thread throughput as well as scaling to multiple cores. We also developed several optimization techniques to eliminate major bottlenecks during this process. Evaluation of our prototype JIGSAW shows that our approach can achieve three orders of magnitude higher search throughput than existing fuzzers and can scale to multiple cores. We also find that with such high throughput, a simple gradient-guided search heuristic can solve path constraints collected from a large set of real-world programs faster than SMT solvers with much more sophisticated search heuristics. Evaluation of end-to-end coverage-guided testing also shows that our JIGSAW-powered hybrid fuzzer can outperform state-of-the-art testing tools

Safe energy-storage mechanical metamaterials via architecture design

Mechanical and functional properties of metamaterials could be simultaneously manipulated via their architectures. This study proposes multifunctional metamaterials possessing both load-bearing capacity and energy storage capability, comprising multi-phase lattice metamaterial and cylindrical battery cells. Defect phase are incorporated into the metamaterials, which are then printed with stainless steel powder. The printed metamaterials are assembled with battery cells and compressed. Experimental results revealed that the voids in the lattice metamaterials, could guide deformation mode away from the internal battery cell that postponed the emergence of battery short-circuit. Effects of void phase pattern and content are discussed by simulation. We found that the multifunctional system could absorb greater energy after defect phase incorporation, as designed with proper void phase pattern and content. Also, these findings are further validated for the system with six battery cells. This study demonstrated how to design an energy-storage metamaterials with enhanced mechanical properties and battery safety simultaneously. Also, defect engineering was helpful for battery protection and energy absorption of the multifunctional system

Transcriptional Regulation of Lipophorin Receptors Supports Neuronal Adaptation to Chronic Elevations of Activity

Activity-dependent modifications strongly influence neural development. However, molecular programs underlying their context and circuit-specific effects are not well understood. To study global transcriptional changes associated with chronic elevation of synaptic activity, we performed cell-type-specific transcriptome profiling of Drosophila ventral lateral neurons (LNvs) in the developing visual circuit and identified activity-modified transcripts that are enriched in neuron morphogenesis, circadian regulation, and lipid metabolism and trafficking. Using bioinformatics and genetic analyses, we validated activity-induced isoform-specific upregulation of Drosophila lipophorin receptors LpR1 and LpR2, the homologs of mammalian low-density lipoprotein receptor (LDLR) family proteins. Furthermore, our morphological and physiological studies uncovered critical functions of neuronal lipophorin receptors (LpRs) in maintaining the structural and functional integrities in neurons challenged by chronic elevations of activity. Together, our findings identify LpRs as molecular targets for activity-dependent transcriptional regulation and reveal the functional significance of cell-type-specific regulation of neuronal lipid uptake in experience-dependent plasticity and adaptive responses

Diastereoisomer-Specific Biotransformation of Hexabromocyclododecanes by a Mixed Culture Containing Dehalococcoides mccartyi Strain 195

Hexabromocyclododecane (HBCD) stereoisomers may exhibit substantial differences in physicochemical, biological, and toxicological properties. However, there remains a lack of knowledge about stereoisomer-specific toxicity, metabolism, and environmental fate of HBCD. In this study, the biotransformation of (±)α-, (±)β-, and (±)γ-HBCD contained in technical HBCD by a mixed culture containing the organohalide-respiring bacterium Dehalococcoides mccartyi strain 195 was investigated. Results showed that the mixed culture was able to efficiently biotransform the technical HBCD mixture, with 75% of the initial HBCD (∼12 μM) in the growth medium being removed within 42 days. Based on the metabolites analysis, HBCD might be sequentially debrominated via dibromo elimination reaction to form tetrabromocyclododecene, dibromocyclododecadiene, and 1,5,9-cyclododecatriene. The biotransformation of the technical HBCD was likely diastereoisomer-specific. The transformation rates of α-, β-, and γ-HBCD were in the following order: α-HBCD > β-HBCD > γ-HBCD. The enantiomer fractions of (±)α-, (±)β-, and (±)γ-HBCD were maintained at about 0.5 during the 28 days of incubation, indicating a lack of enantioselective biotransformation of these diastereoisomers. Additionally, the amendment of another halogenated substrate tetrachloroethene (PCE), which supports the growth of strain 195, had a negligible impact on the transformation patterns of HBCD diastereoisomers and enantiomers. This study provided new insights into the stereoisomer-specific transformation patterns of HBCD by anaerobic microbes and has important implications for microbial remediation of anoxic environments contaminated by HBCD using the mixed culture containing Dehalococcoides

Viral Bcl-2-Mediated Evasion of Autophagy Aids Chronic Infection of γHerpesvirus 68

γ-herpesviruses (γHVs) have developed an interaction with their hosts wherein they establish a life-long persistent infection and are associated with the onset of various malignancies. One critical virulence factor involved in the persistency of murine γ-herpesvirus 68 (γHV68) is the viral homolog of the Bcl-2 protein (vBcl-2), which has been implicated to counteract both host apoptotic responses and autophagy pathway. However, the relative significance of the two activities of vBcl-2 in viral persistent infection has yet to be elucidated. Here, by characterizing a series of loss-of-function mutants of vBcl-2, we have distinguished the vBcl-2-mediated antagonism of autophagy from the vBcl-2-mediated inhibition of apoptosis in vitro and in vivo. A mutant γHV68 virus lacking the anti-autophagic activity of vBcl-2 demonstrates an impaired ability to maintain chronic infections in mice, whereas a mutant virus lacking the anti-apoptotic activity of vBcl-2 establishes chronic infections as efficiently as the wild-type virus but displays a compromised ability for ex vivo reactivation. Thus, the vBcl-2-mediated antagonism of host autophagy constitutes a novel mechanism by which γHVs confer persistent infections, further underscoring the importance of autophagy as a critical host determinant in the in vivo latency of γ-herpesviruses

Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)

In 2008 we published the first set of guidelines for standardizing research in autophagy. Since then, research on this topic has continued to accelerate, and many new scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Accordingly, it is important to update these guidelines for monitoring autophagy in different organisms. Various reviews have described the range of assays that have been used for this purpose. Nevertheless, there continues to be confusion regarding acceptable methods to measure autophagy, especially in multicellular eukaryotes. For example, a key point that needs to be emphasized is that there is a difference between measurements that monitor the numbers or volume of autophagic elements (e.g., autophagosomes or autolysosomes) at any stage of the autophagic process versus those that measure fl ux through the autophagy pathway (i.e., the complete process including the amount and rate of cargo sequestered and degraded). In particular, a block in macroautophagy that results in autophagosome accumulation must be differentiated from stimuli that increase autophagic activity, defi ned as increased autophagy induction coupled with increased delivery to, and degradation within, lysosomes (inmost higher eukaryotes and some protists such as Dictyostelium ) or the vacuole (in plants and fungi). In other words, it is especially important that investigators new to the fi eld understand that the appearance of more autophagosomes does not necessarily equate with more autophagy. In fact, in many cases, autophagosomes accumulate because of a block in trafficking to lysosomes without a concomitant change in autophagosome biogenesis, whereas an increase in autolysosomes may reflect a reduction in degradative activity. It is worth emphasizing here that lysosomal digestion is a stage of autophagy and evaluating its competence is a crucial part of the evaluation of autophagic flux, or complete autophagy. Here, we present a set of guidelines for the selection and interpretation of methods for use by investigators who aim to examine macroautophagy and related processes, as well as for reviewers who need to provide realistic and reasonable critiques of papers that are focused on these processes. These guidelines are not meant to be a formulaic set of rules, because the appropriate assays depend in part on the question being asked and the system being used. In addition, we emphasize that no individual assay is guaranteed to be the most appropriate one in every situation, and we strongly recommend the use of multiple assays to monitor autophagy. Along these lines, because of the potential for pleiotropic effects due to blocking autophagy through genetic manipulation it is imperative to delete or knock down more than one autophagy-related gene. In addition, some individual Atg proteins, or groups of proteins, are involved in other cellular pathways so not all Atg proteins can be used as a specific marker for an autophagic process. In these guidelines, we consider these various methods of assessing autophagy and what information can, or cannot, be obtained from them. Finally, by discussing the merits and limits of particular autophagy assays, we hope to encourage technical innovation in the field

Safe energy-storage mechanical metamaterials via architecture design

Mechanical and functional properties of metamaterials could be simultaneously manipulated via their architectures. This study proposes multifunctional metamaterials possessing both load-bearing capacity and energy storage capability, comprising multi-phase lattice metamaterial and cylindrical battery cells. Defect phase are incorporated into the metamaterials, which are then printed with stainless steel powder. The printed metamaterials are assembled with battery cells and compressed. Experimental results revealed that the voids in the lattice metamaterials, could guide deformation mode away from the internal battery cell that postponed the emergence of battery short-circuit. Effects of void phase pattern and content are discussed by simulation. We found that the multifunctional system could absorb greater energy after defect phase incorporation, as designed with proper void phase pattern and content. Also, these findings are further validated for the system with six battery cells. This study demonstrated how to design an energy-storage metamaterials with enhanced mechanical properties and battery safety simultaneously. Also, defect engineering was helpful for battery protection and energy absorption of the multifunctional system